Results for 'I︠U︡. K. Didyk'

987 found
Order:
  1.  6
    "Post-Industrial Civilization" or Capitalism in the Year 2000?Iu K. Ostrovitianov - 1969 - Russian Studies in Philosophy 8 (3):252-272.
    In recent years the science of what is to be, futurology, has become one of the most popular branches of knowledge in the West. A fever to prognosticate, the desire to penetrate the barriers of time, to predict or at least sense the central direction of history, possesses philosophers and historians, economists and sociologists, politicians and preachers, public figures, and the heads of scientific institutions and of the largest industrial firms. In the United States, England, France, and Italy, committees to (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  1
    Concerning Certain Aspects of the Critical Analysis of Contemporary Bourgeois Philosophy.A. S. Bogomolov, Iu K. Mel'vil' & I. S. Narskii - 1968 - Russian Studies in Philosophy 6 (4):45-55.
    The triumph of the socialist revolution in Russia, the fiftieth anniversary of which the Soviet people are marking this year, the building of socialism in the USSR, and the coming into being of a world socialist system eliminated the ideological monopoly theretofore enjoyed by exploitative society in the contemporary world. For the first time in human history, an ideology of the toiling masses has extensively taken root in a number of countries. This has meant a narrowing of the sphere in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  16
    The Political Essence of the Period of Transition from Capitalism to Socialism.V. V. Denisov, Iu E. Eremin & Iu K. Pletnikov - 1979 - Russian Studies in Philosophy 18 (1):3-21.
    The transition of various countries to socialism is giving birth to a constantly increasing diversity of concrete forms of implementation of the functions of the socialist revolution. At the same time, historical experience shows that the socialist revolution is characterized by certain universal regularities, so that it is a matter of principle, of vital importance, that a revolutionary Marxist party allow for them. Among these, above all, is the need for power to be in the hands of the working class (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. Dialekticheskai︠a︡ logika-osnova systemnogo metota v naukakh o prirode i paradigma XX-XXI stoletiĭ.I︠U︡. K. Didyk - 1993 - Dubna: Didyk.
     
    Export citation  
     
    Bookmark  
  5. Marksizm-leninizm i estestvoznanie.Kh M. Fataliev, K. A. Novosel Tsov, Iu F. Safonov & P. E. Sivokon - 1962 - [Moskva]: Izd-Vo Moskovskogo Universiteta.
    No categories
     
    Export citation  
     
    Bookmark  
  6.  20
    Filosofii︠a︡ iz arkhiva: M. K. Petrov: monografii︠a︡.M. A. Didyk - 2020 - Taganrog: Izdatelʹstvo I︠U︡zhnogo federalʹnogo universiteta. Edited by A. N. Erygin & O. A. Muradʹi︠a︡n.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7. Kʻung-tzŭ ssŭ hsiang shu lun.ChêN-Ching Chʻiu - 1971
     
    Export citation  
     
    Bookmark  
  8.  17
    Is Marxism Dead? Materials from a Discussion.V. I. Tolstykh, V. S. Stepin, E. Iu Solov'ev, V. Zh Kelle, A. A. Guseinov, A. I. Gel'man, F. T. Mikhailov, V. M. Mezhuev & K. K. H. Momdzhian - 1991 - Russian Studies in Philosophy 30 (2):7-74.
    From the Editors:Such was the topic considered by members of a new discussion club, "The Free Word" [Svobodnoe slovo], along with specialists from the Institute of Philosophy, USSR Academy of Sciences.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  5
    The Relationship Between Dialectics and Phenomenology in the Work of E.V. Ilyenkov and M.K. Mamardashvili.Iu V. Pushchaev - 2010 - Russian Studies in Philosophy 49 (2):77-99.
    The comparative analysis of the approaches to philosophy and philosophizing by the two prominent Russian thinkers of the Soviet era: Evald V. Ilyenkov and Merab K. Mamardashvili. The author discusses specific methodological and conceptual features of Ilyenkov's dialectic and Mamardashvili's phenomenology, showing their theoretical and topical affinity.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  10
    Is Marxism Dead? Materials from a Discussion.V. I. Tolstykh, V. S. Stepin, E. Iu Solov'ev, V. Zh Kelle, A. A. Guseinov, A. I. Gel'man, F. T. Mikhailov, V. M. Mezhuev & K. Kh Momdzhian - 1991 - Russian Studies in Philosophy 30 (2):7-74.
    From the Editors:Such was the topic considered by members of a new discussion club, "The Free Word" [Svobodnoe slovo] , along with specialists from the Institute of Philosophy, USSR Academy of Sciences.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. Problemy sot︠s︡iokulʹturnoĭ determinat︠s︡ii nauchnogo znanii︠a︡: k diskussii︠a︡m v sovremennoĭ postpozitivistskoĭ filosofii nauki.E. A. Mamchur & Iu V. Sachkov - 1987 - Moskva: Nauka. Edited by I︠U︡. V. Sachkov.
    No categories
     
    Export citation  
     
    Bookmark  
  12. Kʻung tzu chuan.Chʻiu-fan Chʻen - 1974
     
    Export citation  
     
    Bookmark  
  13. Chelovek v mire khudozhestvennoĭ kulʹtury: priobshchenie k iskusstvu, prot︠s︡ess i upravlenie.Boris Andreevich Grushin, A. Ia Zis & Iu U. Fokht-Babushkin (eds.) - 1982 - Moskva: Izd-vo "Nauka,".
     
    Export citation  
     
    Bookmark  
  14. Kʻung Chʻiu ti ku shih.Hsiang Lu - 1974
     
    Export citation  
     
    Bookmark  
  15.  15
    Tŏk yulli ŭi hyŏndaejŏk ŭiŭi: ŭimu yulli wa kyŏlgwa yulli ka sangbo hanŭn che-3 yulli ŭi mosaek.Kyŏng-sik Hwang - 2012 - Sŏul: Ak'anet.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  3
    Chasaengjŏk ch'ŏrhak ch'egye rosŏ in'gan chungsim ch'ŏrhak: ch'ŏrhakchŏk ŭiŭi wa han'gye.Hyŏn Sŏnu - 2009 - Kyŏnggi-do P'aju-si: Chimmundang.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  12
    The Interactions of Science and Art as a Sociocultural Problem.V. K. Kantor - 1977 - Russian Studies in Philosophy 16 (1):87-93.
    The debates now in progress about the interactions of science and art compel one involuntarily to recall that such discussions have been held more than once and were, a long time ago, perhaps no less heated. It suffices to cite virtually at random certain statements of Pisarev, for example , for us to see, as in a cloudy mirror, both today's advocates of scientism and the romantics of art. Does this mean that all we need is to bear in mind (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18. Kʻung Chʻiu shih fan ko ming fu pi ti tsu shih yeh.Ta-che Ching - 1974
     
    Export citation  
     
    Bookmark  
  19.  94
    Letters to the Editor.Peg Brand, Myles Brand, G. E. M. Anscombe, Donald Davidson, John M. Dolan, Peter T. Geach, Thomas Nagel, Barry R. Gross, Nebojsa Kujundzic, Jon K. Mills, Richard J. McGowan, Jennifer Uleman, John D. Musselman, James S. Stramel & Parker English - 1995 - Proceedings and Addresses of the American Philosophical Association 69 (2):119 - 131.
    Co-authored letter to the APA to take a lead role in the recognition of teaching in the classroom, based on the participation in an interdisciplinary Conference on the Role of Advocacy in the Classroom back in 1995. At the time of this writing, the late Myles Brand was the President of Indiana University and a member of the IU Department of Philosophy.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20. Kuan yü Kʻung Chʻiu sha Shao-cheng Mao wen tʻi.Chi-pin Chao - 1974
     
    Export citation  
     
    Bookmark  
  21. Imperatív slobody v Kantovej filozofii.(K dvestoroþnému vêroþiu úmrtia Immanuela Kanta).M. Muránsky - 2004 - Filozofia 59.
    No categories
     
    Export citation  
     
    Bookmark  
  22. Rŭnesangsŭ hyumŏnijŭm ŭi hyŏndaejŏk ŭiŭi.Pong-mok Pak & Ku-hyŏn Sin (eds.) - 1990 - [Kyŏngbuk Kyŏngsan-gun]: Yŏngnam Taehakkyo Chʻulpʻanbu.
    No categories
     
    Export citation  
     
    Bookmark  
  23. Heegel chʻŏrhak ŭi ihae mit pipʻan: kŭ sara innŭn haeksim kwa hyŏndaejŏk ŭiŭi.Tu-ha Chŏn - 1989 - Sŏul Tʻŭkpyŏlsi: Chungang Kyŏngjesa.
     
    Export citation  
     
    Bookmark  
  24.  40
    Doğal Teoloji ve Doğal Din (Stanford Felsefe Ansiklopedisi).Musa Yanık, Andrew Chignell & Derk Pereboom - 2024 - Öncül Analitik Felsefe Dergisi. Translated by Musa Yanık.
    “Doğal din” terimi, bazen doğanın kendisinin ilahi olduğu bir panteistik doktrine atıfta bulunur. “Doğal teoloji” terimi ise aksine, başlangıçta gözlemlenen doğal gerçekler temelinde (ve bazen) Tanrı’nın varlığını savunmaya yönelik projeye atıfta bulunur. Bununla birlikte çağdaş felsefede, hem “doğal din” hem de “doğal teoloji” genel olarak, dinî veya teolojik konuları araştırmak için insana, “doğal” olan bilişsel yetilerini – akıl, algı, içgözlem- kullanma projesini ifade eder. Doğal din veya teoloji, mevcut anlayış üzerine, doğayla ilgili ampirik araştırmalarla sınırlı olmamakla birlikte ayrıca panteistik bir (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25. Kuhn and the History of Science.K. Brad Wray - 2019 - In M. Fricker, N. J. L. L. Pedersen, D. Henderson & P. J. Graham (eds.), The Routledge Handbook of Social Epistemology. Routledge. pp. 40-48.
    The article examines Thomas Kuhn's work in the history of science with special attention to its relevance to subsequent developments in social epistemology. The article begins with a discussion of Kuhn's historical work, and the so-called historical turn in philosophy of science. It then examines Kuhn's views on textbook science, followed by an analysis of Kuhn's views on the relationship between the history of science and the philosophy of science. Then it discusses Kuhn's contributions to our understanding of the social (...)
     
    Export citation  
     
    Bookmark  
  26. Modal Ontolojik Argümanlar.Musa Yanık - 2024 - Oncul Analitik Felsefe Dergisi 1.
    Modal ontolojik argüman, Tanrı’nın varlığını sadece bilfiil gerçek olan bu dünyada değil, bütün mümkün dünyalarda göstermeye yönelik bir argümandır. Anselm’in (1033-1109) Proslogion adlı eserinin 3. bölümünde “kendisinden daha büyüğü düşünülemeyen” şeklinde tanımlanan; Tanrı’nın var olmamasının da düşünülemeyeceğini, bu yüzden de varolmamasının imkansızlığı üzerinde kurulu yeni bir argüman bulunduğunu öne süren bazı araştırmacılar, bu argümanı mümkün dünyalar semantiği yardımıyla formüle edip, “modal ontolojik argüman” şeklinde adlandırmışlardır. Çok farklı şekillerde formüle edilmiş bu argüman kabaca Tanrı’nın mümkünse zorunlu olması, dolayısıyla bilfiil gerçek olan (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. REFORMCU EPİSTEMOLOJİ: TEMEL UNSURLAR, İTİRAZLAR VE YENİ BAKIŞ AÇILARI.Musa Yanık - 2023 - Felsefe Dünyasi 1 (78):219-260.
    Çağdaş epistemoloji içerisinde, dışsalcı, güvenilirci ve erdeme dayalı epistemolojik tartışmaların bir benzerini, dini epistemoloji içerisinde etkili bir şekilde yer edinen ve reformcu epistemoloji olarak bilinen yaklaşım üzerinden görebilmek mümkündür. Alvin Plantinga, Nicholas Wolterstorff ve William Alston gibi filozofların öne çıktığı bu yaklaşımın ana iddiası, kanıta ya da argümana dayanmaksızın, Tanrı’nın varlığına inanmanın bütünüyle doğru, rasyonel, makul ve güvenilir olacağı şeklindeki bir tezdir. Kanıtın, gerekçelendirme için zorunlu bir koşul olmadığı fikri, algısal deneyimlerin gerekçelendirilmesine benzer şekilde, dini deneyimlerin de öyle olduğu ve (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  7
    If AI is our co-pilot, who is the captain?K. Woods - forthcoming - AI and Society:1-2.
  29.  17
    Co-authorship in chemistry at the turn of the twentieth century: the case of Theodore W. Richards.K. Brad Wray - 2024 - Foundations of Chemistry 26 (1):75-88.
    It is widely recognized that conceptual and theoretical innovations and the employment of new instruments and experimental techniques are important factors in explaining the growth of scientific knowledge in chemistry. This study examines another dimension of research in chemistry, collaboration and co-authorship. I focus specifically on Theodore Richards’ career and publications. During the period in which Richards worked, co-authorship was beginning to become more common than it had been previously. Richards was the first American chemist to be awarded a Nobel (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  8
    History of Epistemic Communities and Collaborative Research.K. Brad Wray - 2001 - In James Wright (ed.), International Encyclopedia of the Social and Behavioral Sciences (Second Edition). Elsevier. pp. 867-872.
    Studies of epistemic communities and collaborative research in the social sciences have deepened the understanding of how science works, and more specifically how the social dimensions of scientific practice both enable and impede social scientists in realizing their epistemic goals. Two types of studies of epistemic communities are distinguished: general theories of epistemic communities aim to construct accounts of theoretical change applicable to all social scientific specialties, whereas historical studies emphasize the contingencies that affect specific social scientific disciplines, subfields, or (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Bradleyan idealism and philosophical materialism.K. M. Ziebart - 2019 - In Philip MacEwen (ed.), Idealist Alternatives to Materialist Philosophies of Science. Leiden: BRILL.
    No categories
     
    Export citation  
     
    Bookmark  
  32.  3
    Hyŏndae munye sajoron.Hŭi-sŏk Yang - 1982 - Sŏul Tʻŭkpyŏlsi: Chayu Munʼgo.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Tanrı, Özgürlük ve Kötülük.Alvin Plantinga & Musa Yanık - 2022 - Ankara, Türkiye: Fol Yayınları. Translated by Musa Yanık.
    Ateistler, kötülük probleminin Tanrı’nın varlığı aleyhine en güçlü argüman olduğu konusunda hâlâ ısrarcılar. Felsefe tarihine baktığımızda da Epikuros’tan Hume’a ve yakın dönemde Mackie’ye kadar uzanan bir yelpazede çeşitli düşünürler tarafından bu konuda birçok eleştirinin dile getirildiğini görmek mümkün. Plantinga bu çalışmasında felsefe tarihinin en köklü sorunlarından biri olan ‘Tanrı’nın varlığı sorusu’nu cevaplamaya çalışmakla kalmayıp felsefi bir yöntem ve soruşturmanın nasıl olması gerektiği konusunda muhteşem bir örnek de sunmaktadır. Plantinga, bu kitabıyla bizi, felsefe tarihinin en temel ilkelerinden birini hatırlamaya çağırıyor: var (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  34. Dini Epistemoloji: Alvin Plantinga Örneği.Musa Yanık - 2019 - Dissertation, Ondokuz Mayis Universitesi
    Alvin Plantinga, analitik felsefe düşüncesi içerisinde yetişmiş ve bu gelenek içinde teistik din felsefesinin oluşumuna katkıda bulunmuş bir filozoftur. Ayrıca teizmin savunusu için yaptığı çalışmalarla, çeşitli üniversitelerden aldığı onur ödülleri ve 2017 yılında kazandığı Templeton Prize ödülüyle, haklı bir üne kavuşmuş bir şahsiyettir. Bu çalışmayı yapmamızdaki en önemli amaç, Plantinga’nın dini epistemoloji üzerine yaptığı çalışmaları analiz edip bu düşüncelerinin ardalanına dair bir tespitte bulunmaktır. Bu çalışmada yararlandığımız öncelikli kaynaklar, Plantinga’nın Nicholas Wolterstorff ile birlikte kaleme aldığı “Faith and Rationality” adlı eser (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  35. The very idea of a critical social science: a pragmatist turn.Stephen K. White - 2004 - In Fred Rush (ed.), The Cambridge companion to critical theory. New York: Cambridge University Press. pp. 310-335.
     
    Export citation  
     
    Bookmark   4 citations  
  36.  9
    Political theory and postmodernism.Stephen K. White - 1991 - New York: Cambridge University Press.
    Postmodernism has evoked great controversy and it continues to do so today, as it disseminates into general discourse. Some see its principles, such as its fundamental resistance to metanarratives, as frighteningly disruptive, while a growing number are reaping the benefits of its innovative perspective. In Political Theory and Postmodernism, Stephen K. White outlines a path through the postmodern problematic by distinguishing two distinct ways of thinking about the meaning of responsibility, one prevalent in modern and the other in postmodern perspectives. (...)
  37.  44
    Types of tropes : modifier and module.Robert K. Garcia - 2024 - In A. R. J. Fisher & Anna-Sofia Maurin (eds.), The Routledge Handbook of Properties. London: Routledge. pp. 229-38.
    The general concept of a trope – that of a non-shareable character-grounder – admits of a distinction between modifier tropes and module tropes. Roughly, a module trope is self-exemplifying whereas a modifier trope is not. This distinction has wide-ranging implications. Modifier tropes are uniquely eligible to be powers and fundamental determinables, whereas module tropes are uniquely eligible to play a direct role in perception and causation. Moreover, each type of trope theory faces unique challenges concerning character- grounding. Modifier trope theory (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  38. Is Trope Theory a Divided House?Robert K. Garcia - 2015 - In Gabriele Galluzzo Michael Loux (ed.), The Problem of Universals in Contemporary Philosophy. Cambridge University Press. pp. 133-155.
    In this paper I explore Michael Loux’s important distinction between “tropes” and “tropers”. First, I argue that the distinction throws into relief an ambiguity and discrepancy in the literature, revealing two fundamentally different versions of trope theory. Second, I argue that the distinction brings into focus unique challenges facing each of the resulting trope theories, thus calling into question an alleged advantage of trope theory—that by uniquely occupying the middle ground between its rivals, trope theory is able to recover and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  39.  12
    16. Scientific Reduction and the Essential Incompleteness of All Science.K. R. Popper - 1974 - In Francisco Jose Ayala & Theodosius Dobzhansky (eds.), Studies in the philosophy of biology: reduction and related problems. Berkeley: University of California Press. pp. 259.
  40. Why literary devices matter.Lorraine K. C. Yeung - 2021 - Polish Journal of Aesthetics 60 (1):19-37.
    This paper investigates the emotional import of literary devices deployed in fiction. Reflecting on the often-favored approach in the analytic tradition that locates fictional characters, events, and narratives as sources of readers’ emotions, I attempt to broaden the scope of analysis by accounting for how literary devices trigger non-cognitive emotions. I argue that giving more expansive consideration to literary devices by which authors present content facilitates a better understanding of how fiction engages emotion. In doing so, I also explore the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  8
    Making Sense of Tantric Buddhism: History, Semiology, and Transgression in the Indian Traditions.Christian K. Wedemeyer - 2012 - Cambridge University Press.
    _Making Sense of Tantric Buddhism_ fundamentally rethinks the nature of the transgressive theories and practices of the Buddhist Tantric traditions, challenging the notion that the Tantras were "marginal" or primitive and situating them instead -- both ideologically and institutionally -- within larger trends in mainstream Buddhist and Indian culture. Critically surveying prior scholarship, Wedemeyer exposes the fallacies of attributing Tantric transgression to either the passions of lusty monks, primitive tribal rites, or slavish imitation of Saiva traditions. Through comparative analysis of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  42.  11
    A Word About Il'enkov.F. T. Mikhailov - 1997 - Russian Studies in Philosophy 36 (1):34-46.
    As it happened, I became acquainted with E.V. Il'enkov quite late, in the mid- or even the late 1960s. It was only a bit more than ten years before his death that I began to feel at home in his house, was able to visit without calling ahead, and was able to call him by his first name and the familiar "you"—that is, like many, many of not only his true friends but also like-minded thinkers, who became his close acquaintances, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  31
    Explaining Culture: A Naturalistic Approach.K. Sterelny - 1996 - Mind 110 (439):845-854.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   258 citations  
  44.  5
    Pivotal strategies for the educational leader: the importance of Sun Tzu's The art of war.Ovid K. Wong - 2008 - Lanham, Md.: Rowman & Littlefield Education.
    The Art of War application to education is about solving problems to improve student and school success. The Art of War describes the significance of a leader and his knowledge and prudent application of the strategies. At the core of theses strategies is the non-negotiable moral purpose of the leader to be reinforced by other fine qualities as wisdom, commitment, discipline, and courage.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  2
    Meno.W. K. C. Plato & Guthrie - 1971 - Indianapolis,: Bobbs-Merrill. Edited by W. K. C. Guthrie & Malcolm Brown.
  46. Viewer-external frames of reference in 3-D object recognition.F. Waszak, K. Drewing & R. Mausfeld - 2004 - In Robert Schwartz (ed.), Perception. Malden Ma: Blackwell. pp. 73-73.
     
    Export citation  
     
    Bookmark  
  47. The Slingshot Argument.K. Correia F. Mulligan & F. Correia - 2012 - In Ed Zalta (ed.), Stanford Encyclopedia of Philosophy. Stanford Encyclopedia of Philosophy.
  48.  11
    Freedom from Fear: An Incomplete History of Liberalism.K. Steven Vincent - 2023 - The European Legacy 29 (3):448-449.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  48
    Bir Bilme Teorisi. [REVIEW]Musa Yanık - 2021 - Kutadgu Bilig Felsefe-Bilim Araştırmaları Dergisi 43 (1):247-251.
    Mehdiyev’in Bir Bilme Teorisi adını verdiği eser, içerisinde birçok kavram ve problemi barındırması açısından oldukça zengin ve ufuk açıcı bir teoridir. Onun, bilgi söz konusu olduğunda medeniyet, bilim, teoloji ve sanat gibi sosyal epistemoloji içerisindeki kavramlara atıfla karşılaştırmalar yapması ve inanç, kanı gibi kavramlar üzerinden değerlendirmelerde bulunması; mevcut literatür içindeki kavramlara dair gerek olumlu gerekse olumsuz yeni bakış açılarını bize sağlarken, ayrıca mevcut problemleri, hem çağdaş hem de klasik teoriler içinde ele alması, bize ufuk açıcı yorumlar da kazandırmaktadır.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  6
    Craig Interpolation Theorem Fails in Bi-Intuitionistic Predicate Logic.Grigory K. Olkhovikov & Guillermo Badia - 2024 - Review of Symbolic Logic 17 (2):611-633.
    In this article we show that bi-intuitionistic predicate logic lacks the Craig Interpolation Property. We proceed by adapting the counterexample given by Mints, Olkhovikov and Urquhart for intuitionistic predicate logic with constant domains [13]. More precisely, we show that there is a valid implication $\phi \rightarrow \psi $ with no interpolant. Importantly, this result does not contradict the unfortunately named ‘Craig interpolation’ theorem established by Rauszer in [24] since that article is about the property more correctly named ‘deductive interpolation’ (see (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 987